Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
461	Monadic Concurrent Linear Logic Programming Pablo Lopez ´ Frank Pfenning Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-05-04 19:43:00 Logic in computer science Deduction Propositional calculus Logical consequence Natural deduction Logic programming Linear logic Entailment Sequent calculus Logic Mathematical logic Proof theory
462	SACCHARINITY JAKOB KELLNER AND SAHARON SHELAH A. We present a method to iterate finitely splitting lim-sup tree forcings along nonwellfounded linear orders. As an application, we introduce a new meth Add to Reading List Source URL: shelah.logic.at Language: English - Date: 2011-01-20 16:19:12 Spectral theory Field theory Spectral theory of ordinary differential equations Finite field Forcing Mathematics Operator theory
463	May 2008 DRAFT Linear Logical Algorithms Robert J. Simmons Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2008-07-11 10:59:20 Mathematical logic Predicate logic Non-classical logic Linear logic Proposition Function Algorithm Atomic formula Inference Logic Propositional calculus Logical syntax
464	Existence of strong solutions for Stochastic porous media equation under general monotonicity conditions Viorel Barbu Add to Reading List Source URL: download.sns.it Language: English - Date: 2007-03-20 11:20:02 Linear temporal logic Spectral theory of ordinary differential equations Calculus of variations Mathematical analysis Mathematics
465	IKP and Friends Robert S. Lubarsky∗ 1755 NE 18th St. Ft. Lauderdale, FL[removed]USA [removed] Add to Reading List Source URL: math.fau.edu Language: English - Date: 2006-07-05 14:18:17 Model theory Constructible universe Mathematical logic Proof theory Μ operator Linear temporal logic Mathematics Logic Function
466	Frequency Domain Iterative Feedforward/Feedback Tuning for MIMO ANVC ⋆ Jian Luo a , Sandor M. Veres a , a School of Engineering Sciences, University of Southampton, Highfield, Southampton, SO17 1BJ United Kingdom Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2010-12-20 18:54:51 Joseph Fourier Operator theory Linear temporal logic Mathematical analysis Fourier analysis Fourier transform
467	The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 PDL WITH INTERSECTION AND CONVERSE: SATISFIABILITY AND INFINITE-STATE MODEL CHECKING Add to Reading List Source URL: www.informatik.uni-leipzig.de Language: English - Date: 2008-01-18 08:51:04 Mathematics Μ operator Symbol Well-formed formula Boolean satisfiability problem Model theory Linear temporal logic Theoretical computer science Logic Metalogic
468	Minimax policies for adversarial and stochastic bandits S´ebastien Bubeck SequeL Project, INRIA Lille 40 avenue Halley, 59650 Villeneuve d’Ascq, France Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2011-06-28 04:17:04 Linear temporal logic Temporal logic Chebyshev function
469	A SOLUTION TO THE FOCUSING 3D NLS THAT BLOWS UP ON A CONTRACTING SPHERE JUSTIN HOLMER, GALINA PERELMAN, AND SVETLANA ROUDENKO Abstract. We rigorously construct radial H 1 solutions to the 3d cubic focusing NLS equation i Add to Reading List Source URL: www.math.brown.edu Language: English - Date: 2012-12-26 23:14:24 Linear temporal logic Temporal logic Spectral theory of ordinary differential equations
470	This article was downloaded by: [[removed]On: 31 March 2014, At: 14:01 Publisher: Institute for Operations Research and the Management Sciences (INFORMS) INFORMS is located in Maryland, USA Mathematics of Operatio Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2014-07-09 11:56:39 Applied mathematics Convex optimization Mathematical optimization Legendre function Combinatorics Combinatory logic Linear programming Operations research Theoretical computer science Mathematics

UPDATE